退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:参数化系统的递归抽象
Joxan Jaffar; Andrew E. Santosa;
机译:单调抽象(关于参数化系统的有效验证)
机译:借助参数化系统进行模型检查和抽象(调查)
机译:非线性参数化不确定非线性系统的非递归C〜1自适应镇定方法
机译:使用抽象验证递归数据类型
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:使用拓扑寻址的参数化递归网络架构位置
机译:使用拓扑寻址的参数化递归网络架构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。